package plus.exp;

import plus.B;

abstract class BooleanOp extends Exp {
	Exp a, b;
	int lineNr;
	BooleanOp(Exp a, Exp b, int lineNr) {
		this.a = a;
		this.b = b;
		this.lineNr = lineNr;
	}
	@Override
	public final void threadScope() {
		a.threadScope(); a.unify_with(B._bool);
		b.threadScope(); b.unify_with(B._bool);
		type = B._bool;
	}
	@Override final String impliedName() { return null; }
}
